Las cortaduras de Dedekind son clases de números racionales que representan la primera construcción formal[cita requerida] del conjunto de los números reales.